From 893feafa994fde18ff9ce4a459311506c55d4300 Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Thu, 2 Feb 2006 15:09:39 +0100 Subject: [PATCH] Add argument-checking assertions to rangeset interfaces. Signed-off-by: Keir Fraser --- xen/common/rangeset.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/xen/common/rangeset.c b/xen/common/rangeset.c index 95757a60cc..6873002012 100644 --- a/xen/common/rangeset.c +++ b/xen/common/rangeset.c @@ -95,6 +95,8 @@ int rangeset_add_range( struct range *x, *y; int rc = 0; + ASSERT(s <= e); + spin_lock(&r->lock); x = find_range(r, s); @@ -161,6 +163,8 @@ int rangeset_remove_range( struct range *x, *y, *t; int rc = 0; + ASSERT(s <= e); + spin_lock(&r->lock); x = find_range(r, s); @@ -227,6 +231,8 @@ int rangeset_contains_range( struct range *x; int contains; + ASSERT(s <= e); + spin_lock(&r->lock); x = find_range(r, s); contains = (x && (x->e >= e)); -- 2.30.2